code: public static String prettyType(BtrpOperand o) {
          if (o == IgnorableOperand.getInstance()) {
              return "??";
          }
          return prettyType(o.degree(), o.type());
      }
docs: Generate a pretty type for an operand.
  
  @param o the operand
  @return a string that describes the operand type.