KJ-4 Convert typed expressions into expressions with casts. Eliminated all the remaining workarounds. The task is complete.