Move some results from enumfset earlier into relationTheory.
trivial reformat to keep code within 80 columns.