Overhauled joint constraint abduction, initial commit.
Another option function.
Unification with parameter variables besides quantifiers.
Overhauled joint constraint abduction final algorithm.
Simple abduction for terms: bug fixes.
User (source) control over introduction of existentials. Updated tests.