Refactor CP-grounding code

CP code zit erg verspreid doorheen de grounder.

VB: in de unnessterms wordt er rekening gehouden met CP of niet. De grounderfactory heeft zijn eigen checks (die moeten overeenkomen met de unnesters), CPUtils heeft een aantal van die checks.

De grounderstructuur (ihb de grounderfactory) zou eens grondig moeten herdacht worden. Een van de gevolgen van deze grondigre refactor zou moeten zijn dat alle CP code netjes geisoleerd wordt.