[logic-ml] Lambek calculi