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.