OK, so actually we can’t do this because of the following case:

max(element(book.tags)) from Book book

vs:

max(elements(book.tags)) from Book book

These actually have different interpretations in HQL today.

(The first is an implicit join, the second is an implicit subquery.)

But even so, this has led me to some useful cleanups and clarifications.