+ - distinguish Conjunct from Sequence?
+ => !(Conjunct instanceof Reducible)
+ - document the assumption that Sequences that match epsilon
+ must have tag, and that ONLY that tag is returned
+ when the sequence matches epsilon
+ - try to avoid building the parts of the tree that end up getting
+ dropped
+ - double-check all the region logic