Added Cotambara, which (co)freely adjoins Choice to a profunctor