Carrying ZDD tree representation computation over to light trees.
Add public interface to ZDD operations.
Standardize cache names.
Standardize cache names.
Encapsulate ZDD number construction into ZDDTerm.
Standardize cache names.
Keep on refactoring ZDDNumber operations, encapsulating some into
ZDDTree.