KJ-4 Convert typed expressions into expressions with casts .
Minor comment added.
KJ-4 Convert typed expressions into expressions with casts. Corrected a bug introduced by previous commit. Methods with C-like params.