Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

Pure Borrow achieves Rust-style borrowing in Linear Haskell with purity.