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