start doing TypeChecker