On Sunday, 19 July 2020 at 17:06:14 UTC, Paul Backus wrote: > Also, letting aliases refer to expressions essentially allows > AST macros in through the back door. Consider the following > example: > > [...] Perhaps what's needed is something more that is less than allowing aliases for expressions in the wide sense you suggest here.