Fix Trac #2538: better error messages when validating types