Slight simplification of backtracker interface.
Brought back exceptions.
Stub implementation of abduction.
Removed dead code.