Valen: nuevo comprobador de préstamos flexible
Valen implementa un comprobador de préstamos basado en 'group borrowing' que recuerda la ruta de cada referencia. Permite múltiples referencias de lectura-escritura a un mismo objeto, relajando la restricción 'shared-xor-mutable'.