Die Grammatik ist eine “theory of logical types”.