Improved Resolution.
Add tests and docstrings.
Removed to_cnf, to_dnf. Added option for generators in to_snf.
Add tests to core/test_args