Update ElenaProofClass

Newest version of extend proof, cuts it down to less than 100 lines. Requires modification to terry's methods.