language changes: {,Total}{Eq,Ord} -> {Partial,}{Eq,Ord}; removed some old ways to do the job.