Universe inconsistency
Ill typed term (de Bruijn indices problem)
Push