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