Remove 'Origin' from types.
Improve type error messages.

Collect better locations during parsing, add a location field to all
types, propagate those types during inference, and report type errors
more succinctly.