[logic-ml] Lambek's syntactic calculus