Add the function TypeRep.pprTypeApp, and use it