Procedure call arg types are now checked