_____________________________________________________________________________
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