* Improve message error about decidability of the typing