BUGFIX: GML formulas were wrong
BUGFIX: CL formulas were being generated with an extra agent
don't generate agent 0 on cl formulas
can now have top-level conjunctions and disjunctions
Add randcool utility