Pretty-print type variables that are operators correctly