Adds uncasting of all JSObject arguments. Adds casting of ARETURN
values.