TypeChecker: ConstDef, Exp beginning