ASSBase:typeCheck(): fix argument iteration and type error messages referring to the wrong variables