Section 2

- thoroughly reworked subsection on unitary corepresentations,
is  essentially finished