concrete LangGre of Lang = 
  GrammarGre, 
  LexiconGre 
  , DocumentationGre --# notpresent
  ;