Define and use PprTyThing.pprTypeForUser