Print, to Add, to
Test, or to remove an undefined ident. Similarly, an
error occurs when trying to set a language unknown from Natural.
Errors may also occur when trying to parameterize the printing of
proofs: some parameterization are effectively forbidden.
Note that to Remove an ident absent from a table or to
Add to a table an already present ident does not lead to an
error.