Create ElenaProofClass

My updated version of extend proof, I didn't want to alter the old code in case I accidentally deleted something
I'm not sure if this is the best implementation of checking user input, it uses lots of if loops