Promote the test of parameters conflicting across predicate variables to term abduction.
Improving coverage for Liquid Types examples, initial commit. Numerical abduction: guessing (in)equations between parameters of a single predicate to replace atoms with parameters across predicates.