-val clearbody:
- status: ProofEngineTypes.status ->
- hyp: Cic.hypothesis -> ProofEngineTypes.status
-val clear:
- status: ProofEngineTypes.status ->
- hyp: Cic.hypothesis -> ProofEngineTypes.status
+val clearbody: hyp: Cic.hypothesis -> ProofEngineTypes.tactic
+val clear: hyp: Cic.hypothesis -> ProofEngineTypes.tactic