Ported String types to Text

Changed all human-legible String types to Text. Also cleaned up some unnecessary type conversions and removed unused packages.
I wouldn't call things type families:

https://www.haskell.org/haskellwiki/GHC/Type_families