THE MODULAR SQUARE: quantum group acting on itself; modular pairs in involution (and the induced Hopf-cyclic cohomology) from (co)quasitriangular and (co)ribbon Hopf algebras, and from compact and locally compact quantum groups; examples