Repairs to ARM/v7/eval.

This was affected by the reordering of arguments in case constants.
Add a couple more state monad operations: WIDEN and NARROW. These allow the state to be temporarily extended.

Also update state_transformerSyntax.