specific info about argument and sort name added to type error messages
Merge branch 'master' of https://github.com/iensen/sparc