Swish.Proof
data Proof ex
data Step ex
checkProof
explainProof
checkStep
showProof
showsProof
showsFormula