Fix bug #3593, making constr_eq and progress work up to
equality of universes, along with a few other functions in evd.