Update ter_parser_checks.ml

Ajout de la gestion des types