Handle some missing cases in (eq? X Y)
Add test case for eq? fix