Quelques corrections sur le typer + ajout de l'affichage des types en cas d'erreur