Generic interface for sort modules.
Conceptual bug in simple abduction for terms fixed.
More list ops.
Overhaul of term abduction: conceptual bug fix (adding parameterized unification) and optimized solution search (with slight loss of generality).