Colourise some error messages

Some error messages are now colourised as well. We assume that all unbound
names are implicit arguments, as the error message doesn't have sufficient
context otherwise.