+ - 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?
+
+ - More topology untangling
+
+ - tib: use the lexer only for indentation increases/decreases