Fixes export declaration.
Includes textual representations for the types.
Provides a more concise to-string! method.

This leaves the detailed information about the error to the .stack function.