Types are now able to tell you what type they in a new way and error reporting has been made more clear
Merge branches 'master' and 'typesAndErrors'