fixed identity eliminator typos in appendix: ind' replaced with ind
appended errata
added label for identity type subsection
fixed previous errata commit
reworded erratum
Merge pull request #619 from sattlerc/master

Identity eliminator typos in appendix
Mark Errata (auto)
successor made explicit in 5.3
S^W using macro
S^W using macro
macro \sucw redefined
Merge pull request #620 from marcbezem/master

successor made explicit in 5.3