Some methods in TypeChecker and stuff