Dagger of bubble

[toumix]

The dagger of bubbles is broken. Indeed, Bubble.dagger is inherited from Box.dagger which assumes that the subclasses keep the same arguments name, dom, cod, _dagger for initialisation.

>>> f = Box("f", Ty("x"), Ty("y"))
>>> f.bubble().dagger()

... in Box.dagger(self)
    576 def dagger(self):
--> 577     return type(self)(
    578         name=self.name, dom=self.cod, cod=self.dom,
    579         data=self.data, _dagger=not self._dagger)

TypeError: __init__() missing 1 required positional argument: 'inside'