Improve pretty-printing of "let"
Vastly improve pretty-printing of definitions in :printdef
Add :printdef support for datatype definitions
Support constructors in :printdef
IDE support for :printdef
Merge pull request #1543 from david-christiansen/pprint-printdef

Major improvements to pretty-printing and :printdef