improved documentation of basics
moved equalitySubsetI to SetUtils
moved unused alternative definitions to bottom; documented them properly
preparing for some code generator convenience: renamed all_partitions_classical → all_partitions, all_partitions → all_partitions_alg