improve unification on sets
add warning on performance and reliability