Types bien formés, et d'autres erreurs