Simplifying TypeChecker signature.