Nouvelle spécification pour les types comparables et équipolents

Les types comparables sont les types pour lesquels il est possible de déterminer un ordre de grandeur entre les valeurs. Les types comparables se divisent en deux groupes de types: Ceux qui supportent le transtypage et ceux qui ne le supportent pas.

            Comparables:
            -----------
                Avec transtypage:
                ----------------
                    + Délégables qui implementent la méthode :compare
                      (external, namespace et function).
                Sans transtypage:
                ----------------
                    + number
                    + string
                    + list (d'abors par la taille puis le contenu).
                    + pair (par le contenu uniquement)

Les types équipollents sont les types pour lesquels il est possible de déterminer l'équivalence des valeurs (éventuellement d'un point de vue sémantique). Les types équipollents se divisent également en deux groupes: ceux qui supportent le transtypage et ceux qui ne le supportent pas.

            Équipollents:
            -----------
                Avec transtypage:
                ----------------
                    + Délégables qui implémentent la méthode :compare
                      (external, namespace et function).
                Sans transtypage:
                ----------------
                    + NOTHING
                    + operator
                    + symbol
                    + string
                    + number
                    + class (contenant et contenu)
                    + expr (contenant et contenu)
                    + lazy (contenant et contenu)
                    + list (contenant et contenu)
                    + pair (contenant et contenu)
                    + Délégables qui n'implémentent pas la méthode :compare.
                      Dans ce cas, le test s'applique au contenant et au contenu d'une
                      manière structurel (sauf pour les external où le test est
                      délégué à la méthode java Object.equals(Object).