/  
      Die Grammatik ist eine “theory of logical types”.