- - Sequence shouldn't be an Element -> make Union.add(Element)
- - Should Tree<T> really be type-parameterized?
+ - Sequence extends Element (?) -> then add Union.add(element)
+ - Parameterize Sequence/Union/Atom <Tok,Result>
+ - Make sure we never use raw types
+ - do Forest/Tree still need a Region?