Section 2

- inserted Example 2.4 describing the regular corepresentation on
  suitable families of subspaces of A

- inserted Lemma 2.26 giving morphisms from a corepresentation to the
  regular corepresentations, this was previously used only to show
  that every corepresentation is equivalent to a unitary

- cleaned up a bit Proposition 2.27 saying that matrix elements span A

- inserted Corollary 2.32 which essentially gives the multiplicity of irreducible
corepresentations inside the regular corepresentation