empty

Shorthand for of with every parameter defaulted, i.e. a scope backed by a brand-new, empty Scope, the defaultUnificator unification strategy and an IndexedTheoryFactory built on it.