User-level macros to verify and record ATJ types.
These are the event macros atj-main-function-type and atj-other-function-type, whose purpose is described in atj-types.
User-oriented documentation for these macros should be added at some point.