Type Checking In Compilers Translate