language changes: {,Total}Eq -> {Partial,}Eq.
Merge pull request #83 from lifthrasiir/partial-vs-total

Language changes: {,Total}Eq -> {Partial,}Eq.