Updated todo
Added some type families; now need to use them
Lots of progress on applying families
Export syntax type families
Finished updating renamer
Type families causing trouble...
Everything compiles with families