Javadoc
Expand away cell fragment variables, and correctly order the children of cells.
There are three significnat contexts for expanding cell fragments -
as an argument to a parent cell it splits into separate arguments for each of the variables
in most other uses, it expands into a term applying the appropriate
-fragment label
to the split variables, except that applications of an
isCellFragment sort predicate
to a cell fragment variable decomposes into a conjunction of sort predicate tests on the split
variables.