Report back diagnostics

[aabounegm]

Report typechecking errors with the red squiggly lines.
Perhaps it's also desirable to add gutter decorations to display ✅ next to definitions that typecheck (sample snippet on SO), for example, but I'm not sure if this should be a separate issue.