Started the term-tree representation (still in progress)