Finished simple Goal Directed Proofs
Added Pretty Printer
Added another example