Changes to GroundKernels and Reasoners.

Separated computing incompatibility from infeasibility.
Removed distribution types and moved squared potentials to Kernels.