#KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Implemented sorts Exp, Exps, TypedVals. Integrated them into semantics of method call.