I'm one of the Hare contributors researching the possibility of adding a borrow checker. I'm still at the start of that journey, and I'm looking at the problem

I'm one of the Hare contributors researching the possibility of adding a borrow checker. I'm still at the start of that journey, and I'm looking at the problem implementation-wise rather than user-wise, but my impression so far regarding simplicity and issues that arise in interaction with other complex language features matches what you said.