mutableTheory
Builds a MutableTheory out of clauseFunctions, one per clause. Otherwise identical to theory, down to how each lambda is run and its result converted via toClause; delegates to TheoryFactory.mutableTheoryOf (via theoryFactory).
Throws
if any of clauseFunctions returns a value that toClause cannot convert.