Ajout de l'instance de TypeSpecifier au lieu d'un constructeur (voir le
precedent commit pour les details)
Changement du clonage des contexte, ils ne sont désormé clone que
lorsqu'il y a eu un changement, ainsi on reduit considerablement le
nombre d'instances de contexte, ce qui allege l'espace memoire
necessaire.