In-progress implementation of pretty printing for types/primtypes