add quantifiers in constructors of \sim_\epsilon, see #210