Changes to the standard L3 ARM model.

These have been brought about by minor modifications to the L3 export (a little bit more simplification occurs).