A kind of declaration.

Strictly logical (non-computational) content -- checked by ivy_check but erased during compilation into an executable model.

Can be either of:

• A primitive judgment
• A compound judgment (a.k.a. "schema")