[logic] Updated Proof to handle ui reactors and also changed proof node to work with more serilizable terms
Merge branch 'ui_bind_refactor' of https://github.com/CurryBoy/Peirce-Logic into ui_bind_refactor