added constructions of comodules and examples