Add negation term and descructor
Change folder structure of project