convertProofType :: P -> ProofType
convertProofType (P "proof" [bt]) = ProofType (convertSequent bt)
convertProofType :: P -> ProofType
convertProofType (P "proof" [bt]) = ProofType (convertSequent bt)
convertProofType (P "proof" [bt]) = ProofType (convertSequent bt)