some notion of equivalence on combinators