It reads like affine types to me https://panzerschrek.github.io/U-00DC-Sprache-site/docs/en/r...
They borrowed heavily from Rust here.