[WIP] Argument type validation with user-friendly error messages

This test should now be valid. Can you uncomment this?