symmetric monoidal closed bicategory definition?