Implicits

Container for all the type-level logic around appending things to tuples or flattening Seq[Unit]s into Units.

Some of these implicits make liberal use of mutable state, so as to minimize allocations while parsing.