While reviewing #398 I noticed that the error messages there often say "this is wrong". "You pass a bad type", "You pass a bad thing". It'd be nice if our error messages could tell what's right instead, like "NUMBER expects one positional argument of type number", or so.