>In fact, you would not have to implement any function; you’re just write its name, and the compiler would implement it for you.

Isn't this equivalent to placing the function code into its name, in other words, inlining the function? Looks cute for 2-bit programs, but I doubt it scales for 100-bit ones.