Type Checking In Compilers Report Text