Add more space between type errors
Add source code to locations for better error messages
Use new Located datastructure, add source strings where appropriate
Show source strings in error messages when possible