Enum Rank instance is removed (succ' is defined explicitly).
Useless properties and instantiations are removed.
Just to make the code more clear.
/Y.