KJ-4 Completely eliminated the sort TypedExp. Adjusted both the rules and the documentation all over the semantics.