
  -spec family(Tuples) -> Family
                  when Family :: family(), Tuples :: [tuple()].

  Creates a family of subsets. family(F, T) is equivalent to 
  from_term(F, T) if the result is a family. If no type is
  explicitly specified, [{atom, [atom]}] is used as the family
  type.
