Type Checking

destack check .