Tried to clean up the TODO files a bit, including removing entries for features
that haven't been implemented in any of the languages yet
Added permutation groups to Families.hs
`expgen` now omits braces from single-digit exponents.