add origin-track-forced in congruences
nabl-def-site and nabl-external-def-site now take same term arguments

fixes http://yellowgrass.org/issue/NaBL/86