add any? and has-set? : needed to unify a map X a set.