Fix eq? and add test