Type error messages

Ideas and suggestions for improving type error messages

Here's the wiki page for it. (Alas with a different Trac tag; todo: combine.)

• Proposal/CustomTypeErrors

Tickets

See the custom type errors label.