Restructured the way query formulas are handled. The translator core now allows for the i:(...) syntax to be used much more liberally in queries.

:#
Finished the creation of all tests scripts except those involving traffic world.
Extended accepted syntax to allow for conjunction in the head of rules.