Define Type Checking In Compiler