Much faster implementation of map-difference.
Beginnings of fixes of the GUI to use the revised data model which does not put all attributes of terms in the term records themselves.