Package-level declarations

Primitive: Either an expression is having an applicable semantic checked, a macro body is being executed for some invocation site, or a prefix function for a macro is being invoked for a tentative prefix of an invocation site. The Avail code has decided by invoking this primitive that the terms of the invocation are acceptable.

Primitive: Answer the atom for which a send phrase is being macro-evaluated in the current fiber. Fail if macro evaluation is not happening in this fiber.

Primitive: Compile the specified block into a function. The block is treated as a top-level construct, so it must not refer to any outer variables.

Primitive: Reject current macro substitution with the specified one-based error level 1..4 and error string. The levels correspond to the instances of ParseNotificationLevel, although the integer has to be adjusted to zero-based to use ParseNotificationLevel.levelFromInt.