bind equivalence predicates
standard procedures for pairs and lists