language changes: most types that implement Eq now also implement TotalEq as appropriate.