Changed sexp formatting
Added conjoin and disjoin to exports
Ensured log files won't be added to git from running tests
Added tests for primary function (test-all / test-num) and for basic generators