class interpreter:
disambiguator:MatitaTypes.disambiguator ->
proof_handler:MatitaTypes.proof_handler ->
console:MatitaConsole.console ->
class interpreter:
disambiguator:MatitaTypes.disambiguator ->
proof_handler:MatitaTypes.proof_handler ->
console:MatitaConsole.console ->