this is kinda the opposite of what i think people really want. they want an LLL with borrow checking without all of the abstractions and baggage you get in rust.

Most of those abstractions and baggage come from the need to be able to represent and propagate lifetime constraints, though.