Make the rest of the errors pretty

[danieljharvey]

The errors that use diagnostic are great, we should make the rest render this way too.

[danieljharvey]

Let’s do this only for the Smol stuff

[danieljharvey]

Need to add error for duplicate type signatures