Added Proof constructor and changed things to work with it

Changed LineNumber extensively to work with a simple nextLineNumber