Mutable Aliasing Constraints

Apply the rules of exclusive access to prevent data races at compile time.