Creates a Theory backed by a list, containing the given clauses
fun listedOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): Theory Let developers easily create a Theory backed by a list, while avoiding variables names clashing by using a different Scope for each Clause