Cartesian multicategory Lambek pregroup Compositionality Monoidal Context Theory, PhD Thesis (Roman, 2023)