pure-borrow: Pure realization of Rust-style borrows in Linear Haskell

This is pure-borrow, a library that realizes Rust-style borrows in Linear Haskell in a pure manner.