Table that associates ATJ types to ACL2 functions.
This table is populated by successful calls of the atj-main-function-type and atj-other-function-type macros.