Borrow checker

The Rust compiler analysis that verifies reference validity and rejects conflicting accesses.