modify expressions into equations; make more functions capable of using term lists; minor bugfixes