Add source locations to types

[evincarofautumn]

Types themselves should be better about tracking their provenance so that meaningful lines of reasoning can be presented in error messages.