Sure, and I'd be interested in exploring how those might be integrated into Rust in the future. Carving out subsets of pointer-free data seems pretty powerful.

(It doesn't seem like the language in the OP is interested in memory safety though.)