Specification Of A Simple Type Checker In Compiler