Yes, good idea. Maybe I'll add it as an additional method of application. The motivation here was not to find an efficient way to construct terms, but as a fun

Yes, good idea. Maybe I'll add it as an additional method of application. The motivation here was not to find an efficient way to construct terms, but as a fun interpretation of infinite craft. A much simpler solution would obviously be to type the term directly :D