Fix internal error messages.
Add vector type annotations and improve errors.
Improve 'Show' instance for types.