Translation of type families.  User parse modes.

Added "WithMode" function variants.  Use "fmap" in place of "either".
Added "data instance" and "type instance" translations.

I tried to send these as separate merge requests, but it didn't work at all!  So I give up and am just bundling them all together.