language changes: Ord now strictly requires Eq, some lint cleanups.