tests pass
checking that all arguments have types