This is indeed a powerful idea. The software equivalent is to forget about the distinct human-invented concepts of programs, input data, memory representation

This is indeed a powerful idea. The software equivalent is to forget about the distinct human-invented concepts of programs, input data, memory representation of data, and languages - it can all be optimized together with global visibility to all aspects. Like partial evaluation optimizations, without the partial part. Our compiler technology still has ways to go with this one.