Cut off type printing with :type at one level

Makes types print nicer with :type in most cases.
Previously, the printer expanded type aliases as much
as possible. Now, it defaults to a single level of expansion.
A later commit adds a #:verbose option to show the entire
type.
Add a #:verbose option to :type.

This prints the old way, expanding all aliases inside the type.