Rename Prop->Propositions to prevent import error
Working on MoreLogic
Completed ProofObjects