Simple Type Checker In Compiler Design