Implement Lemma Class
Create a project for a command line interface to Socrates