tantekq+ to also point out that the AS1 experience that eprodrom cited (implementers ignoring "special" likes / inference etc.) is a strong data point *against* arbitrary extensibility of such types etc. in practice, regardless of implementer/customer claims/wants
