license, makefile, .ocamlinit...
draft of Logic_terms, with term definitions, contexts à la Otter...
skeleton of tests/