UNION
T, Q, I or L, Q can contain I and vise versa (max one level deep)
union TextType = T | Q | I | L