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.