KJ-4 Convert typed expressions into expressions with casts .
Simplified the elaboration of method/catch parameters. Now it will be simpler to implement elaboration heating predicates.