Rename the functor H to F

Thorsten Wißmannrequested to merge
h-to-f into master

F seems to be the canonical name for the functor of an F-coalgebra.

Merge request reports