KK-MACHINERY: Kasparov modules, summary of structure of KK-groups, equivariant KK-theory and descent, R(G) and module structures