Unparsing a literal should return a set of sequences.
Demonstrate that union commutes.
Demonstrate that union is associative.
Add a commented out spec for associativity of concatenation as a TODO.
Be lazy, and flatten teh results when testing associativity.
Distributive laws.