This is the code for the main engine. This captures the posix subexpressions. This execMatch also dispatches to Engine_NC, Engine_FA, and Engine_FC_NA

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