> I wish there was terminology to differentiate between kind of "on demand AOT compilation" and jits that do jitty stuff that can't be done ahead of time.

Some people differentiate between dynamic JIT compilation and static JIT compilation.

Julia uses the term just ahead of time for this, which I think fits well.

That strikes me as just-in-time optimization less so than ahead-of-time.

If the code isn't compiled until it's executed, "ahead of time" seems extremely confusing

Arguably the term "ahead of time" also suffers from the same problem. Among compiler people, "ahead of time" vs "just in time" sometimes has to do with whether the compiler uses run-time information when compiling. But the names don't reflect that, they talk about when the compilation happens.

> kind of "on demand AOT compilation"

I assume you mean something like Common Lisp does with COMPILE? (http://clhs.lisp.se/Body/f_cmp.htm) That's just called "compilation" in some circles.