make type extension version opt in and mutually exclusive with scoping via element name.
simple test for combinators (^ and ^^)