rethink flexterm diff interface

When using flex terms, the user must implement the diff method, which is virtual in the FlexTerm base class. Typically though, one would need the lattice as well to compute the diff (e.g. in the SSH model). However, since templated functions may not be virtual, we have a collision here.