KJ-4 Convert typed expressions into expressions with casts. Implemented cast as typed expression at elaboration level. Reduced TypedExp to:
TypedExp ::= Lookup "::" Type
Most of the work on this task is done.