fun ForAll(name: String, bound: Formula = Formula.True, inner: Formula): ForAll
Create a first order ForAll formula, binding the given name.