Text this: Universal Constructions for (Co)Relations: categories, monoidal categories, and props