Text this: On Second-Order Monadic Monoidal and Groupoidal Quantifiers