What Is Type Checking In Compiler Design