public static bool equal(object x, object y) { return category(x) == category(y) && ops(x).combine(ops(y)).equiv(x, y); }