Correction grammaire + ajout de ref dans typechecker.