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

Also makes `ResultCode` derive `Eq` as well (no reason to not derive it).