Partially completed changes to kernel package.

Started improving rule validity checking.
Added ConstraintKernel interface.
Renamed classes in predicateconstraint package.
Implemented groundAll() in predicateconstraint package.
Implemented LazyMPEInference.