Upgrade prettyprinter to handle `AbstractTy` as well

[kozross]

Currently, the prettyprinter for types doesn't handle DeBruijn abstractions, only their renamings. We will need to expand it to work with non-renamed abstractions as well prior to #76 .