Minor change to ISA models.

All ‘rst record fields are now prefixed by the type name.
Minor update to Import code.
The ARMv7 tools now support another memory representation.

Memory can now be treated as a map of type ``:word32 -> word32``.

Also reworked the tools with respect to the handling of word endianness.