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