Title: Logical types for natural language