finished constructions on comodules necessary for triangular matrices