Transformed IN and AND on classes

This makes it better to calculate equivalences (when we're going to do
it) and it makes a better Oracle implementation of IN limit.