"Machine" --> "MealyC"; outerPrims
INLINE pragmas
mkMealyC
drop old code
More PinMap. Drop PinToWireDesc. Start on state machine support.
Swap state & value in Mealy representation to match loop
State machine support
Check for state components. Simplify without.
Counter starts at zero
infix k