That was quite a thorough analysis. Perhaps one way to think about this idea: it would encourage a style of programming with minimal temporaries.