TypeChecker constructor

TypeChecker()