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