Split statement variable adder from statement creator file
Add hypothesis to draft proof
Add basic connectives to statement creator
Fix stupid JsInject bug
Basic post to update proof