KJ-4 Convert typed expressions into expressions with casts .
1. Eliminated one point of customization in the elaboration phase. Now all nodes have just two points of customization: elab() step, heating of children or elabEnd() step.
2. Removed some redundancies in the elaboration of statements. Still some more redundancies are remaining.