Roll over to using proper Eq instead of Equiv, bump version