Lobsters: Borrow Checking Zero-Cost Cyclic Mutability