#KJ-25 Represent arguments of elaborated method calls as casts. Finished elaborating method signatures. We still have to elaborate constructor signatures.