eqv? is implemented