Mise a jour typechecker