Added ability to navigate into types and coercions.
Reworked pretty printer.