started filling in Monoidal and Opmonoidal for functors