HFunctor operation which allows transformation of the functor through which the structure of the schema will be interpreted.
Defining this operation directly on the SchemaF type rather than in morphling.SchemaF.schemaFHFunctor simplifies type inference.
HFunctor operation which allows transformation of the primitive algebra of the schema.