KJ-4 Convert typed expressions into expressions with casts. Renamed castImpl to cast.
KJ-4 Convert typed expressions into expressions with casts. Produced the first working version of transformation at elaboration level. Work in progress. Not all TypedExps were converted in cast yet. A lot of hacks are still present as temporary workaround.