It's not always clear what the boolean return value of `IEquivalencyStep` really means. So I propose to change it into an enum.