Add CEResVariants and ComparingCERes
Write introduction draft
Write section about redundancy
Add auxiliary files produced by make to gitignore
Write inference permutation example and swapped normalization rules
Add reviews from Tableaux.
Add a remark about the falsity of a lemma in Goedel's God proof.