default implicit to true!
generalize printProofScript at a more generic place
remove retractModel method, was useless anyways