Fixed report bugs, also started work on implementing proof checker again
Merge branch 'master' of https://github.com/liamoc/gentzen