#KJ-25 Represent arguments of elaborated method calls as casts. Fixed all the problems revealed during testing except elaboration of constructor signatures.