Remove __copy__ (we don't need it, we can just use the constructor to make a copy). Correct the docstring of without_useless_domain_values().