Move hipspecifyer and GenericArbitrary thingy into its own package