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