ProofEngineTypes.status ->
(UriManager.uri *
((Cic.term -> Cic.term) *
(ProofEngineTypes.proof * ProofEngineTypes.goal list))) list
ProofEngineTypes.status ->
(UriManager.uri *
((Cic.term -> Cic.term) *
(ProofEngineTypes.proof * ProofEngineTypes.goal list))) list