Merge branch 'dev'
Make nested record types prettier.
Reformat `addError` code
Update changelog
Fix the greys and charcoals which were all missing an argument
Switch to SrcTypes after type inference, not in compiler
Add the Type.Alias file to do realiasing when printing types
Show realiased types when printing errors and when printing module types
Remove unused import
Stop importing hidden things
Prettier printing for list types
Properly perform extraChecks
Merge branch 'master' into dev