Pretty-print typebase values opaquely in Poly/ML.