Messages d'erreurs du système de type
Il faudrait avoir une spécification des endroits et des raisons pour lesquelles le système de type décide qu'en expression est invalide, cela peut déjà dans un premier temps discriminer une expression invalide et une expression qui possède plusieurs types possibles.