Fixed pair-equals to allow e.g. abstracted types. immutable? now has one case and a big filter.