Basic operation reductions.
Implement map-vals, aside.
Remove empty char sets.
Disallow generators to create reserved symbols.