Add eqv? and a test