Multi‐Modal Type‐Logical Grammar