More general handling of the widen-then-narrow ops in ARM

Fixes #173