1-op-alg.tex, 2-coamenability.tex

Inserted proof that the comultiplication lifts to the universal level
in 1-op-alg.tex; this uses a similar argument as the proof that the
total character of a corepresentation converges in
M(C^u(\mathscr{G})). Therefore moved previous Lemma 2.7 to Section 1.