SELF type

If Object defines a virtual type SELF, redefines it automatically in all subclasses. Also checks for some conditions on the declaration of SELF: it must be public, it must not be fixed and it must be declared on Object (or not declared at all). These conditions ensures that its refinements are valid.

The error messages when trying to redefining SELF could be improved. Maybe adding a special case preventing any redef of SELF?

Should I implement this using a phase instead?
Les tests relatif à des trucs de base du langage doivent:

* s'appeler `base_quelquechose` vu que ca teste un truc de base
* importer que le minimum, ici `kernel` et non standard vu que si SELF est pété, standard risque d'etre pété aussi. (et aussi parceque importer kernel rend les tests bien plus rapide)