A possibly more erognomic syntax for borrow

Yes, this is what I was talking about in my another thread.

But for concret types (no dynamic diapatch), you can see my new example_recycler.