Renamed module to comodule
Introduced overloaded operation [Fhom] for functors [FMap]
Changed renaming convention.

+ RawStructures --> structures [lowercase]
+ Structures {RawXXX + IsXXX} --> Structures [Camlcase]
Introduced overloaded notation for morphisms
Category of Comodules over Relative comonad
Added progress status
Category of Relative Comonads