Improved type checking error messages across a variety of cases.