equ command seems to be working. ProofReader can now handle lines longer than 50 characters, previously I was dumb. Modus Ponens entry in rules file was corrected, previously consequent was misspelled. Comment re proofs ending in subproofs added to Proof.hpp.
Removed commented code & updated comments somewhat