removed comment cruft
Moved madd method to TermNode class and fixed it so that it picks up first definition numbers