Hi @Arma,
Thank you for the post, definitely an interesting topic! I just scrolled through the list of topics and found SE-0519: 'Borrow and Inout Types for Safe First-Class References' . While it's not exactly what you're proposing, if I understand both topics correctly, there is some overlap. It seems like your topic is already being discussed in this forum.
Cheers, Maximilian