pub const EQ: OpCode = _; // 44u8
EQ A B C - R[A] is #t if objects in R[B] - R[C] (inclusive) are the same objects