Rust as a High Level Language

I have sketched a proposal to make Rust the afaik first programming language in the world that can afaics completely solve Wadler's famous Expression Problem. This would I think perhaps elevate Rust to one of the best high-level programming languages.

Note my 2 cents opinion is I am currently loathing the apparent tsuris pita of low-level resource lifetime management, especially when I am thinking it can be better encapsulated another way.