Added compositenum/2 number of elements in tlist/
First version of conjunction expansion
Handles the new way of grounding, does not rely on mkassign.
Derives ground/1 for ground stuff, does not hide constraint
No longer generates pred/4, alist/5 but pred/2, alist/3