first version capable of generating state spaces.
Added some optimizations.
Added some optimizations.
Fixed bug in union.
MILESTONE: Feature complete for benchmarks.