_____________________________________________________________________________
Immediately
- - Sequence shouldn't be an Element
+ - Sequence shouldn't be an Element -> make Union.add(Element)
+ - Should Tree<T> really be type-parameterized?
+
- More topology untangling
- needs/hates/follow API ugliness