Update to L3 monadic ARM model.