#KJ-114 Replace [KList] with syntactic lists - Vals, Exps, Classes, etc. Created the sort Exp and associated subsorts.