(* ARITIES ********************************************************************)
(* An arity is a normal term representing the functional structure of a term.
(* ARITIES ********************************************************************)
(* An arity is a normal term representing the functional structure of a term.