This is the code for the main engine. This captures the posix subexpressions. There is also a non-capturing engine, and a testing engine.

It is polymorphic over the internal Uncons type class, and specialized to produce the needed variants.