Finalizing Section 2

Updated proof existence duals, corrected some assumptions concerning
finite support, up to part about partial compact quantum groups