Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus