Add custom taggedt union type back.
Add test function with proof of concept for the fully type-safe content model disjunction constraints.