Equality-free saturated models