Remove unused imports, drop dependency on ghc-prim package
Make One a nullary type family rather than a data constructor

This prevents pattern-matching, so in the future we will be able to
assume that type families of kind Unit -> Unit are group homomorphisms.