Define Type Checking In Compiler Design Quantum