Added some commenting

Started working on OverlapElim.