Constrain types with equivalence procedures

[etaoins]

(eq?)/(eqv?)/(equal?) should intersect the types of the operands when it returns true. This should allow things like (cond) to properly propagate type information.