Update to monadic (L3) ARM model.

Changes treatment of exclusive monitor operations: ExclusiveMonitorsPass, SetExclusiveMonitors and ClearExclusiveLocal.