Fix more missing ERR definitions
Misc. fixes to remove Mosml specific features.
Fix parsing/printing for UMULL etc.
examples/elliptic/arm -> examples/ARM/v4 examples/arm6 -> examples/ARM/arm6-verification