docs: public int encodedTypeLength() {
      int ans = 3; // kind code for TUPLE plus the length
      if (fields != null)
        for (int i = 0; i < fields.length; i++)
          ans += fields[i].encodedTypeLength();
      return ans;
    }