major revisions of Closure class to implement the Fix method which
recursively computes the set of unary functions that respect the
partitions in the optimal subdirect factorization (sdf) subset of
partitions.