Return error type in place of `String`

[gerau]

There are places where we use String instead of an actual error type. It would be nice if we could change these to a proper error type -- ideally one that can contain a collection of diagnostics for printing them.