Fix prettyprinter typo
Merge pull request #40 from Blaisorblade/topic/prettyprinter-typo

Fix prettyprinter typo
Merge pull request #37 from plmday/master

Improve instances interface and add command-line flag to show built-in instances (see #32)
Eliminated rechecking normalized (hence already type-checked) Pi-type