removed all tildas
replaced all {Eq,Ord} with Partial{Eq,Ord}