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.
Merge pull request #471 from david-christiansen/color-repl

Colourise some error messages