Partial compact quantum groups

In Section 4, simplified the proof that we get an antipode and that
the integral is positive.