Implement type printing.
Major reorganization, initial high-level API implementation.
Add meta-information.