Update to the monadic (L3) ARM model.

Now flags UNKNOWN transfers.