concrete LangSlv of Lang =
  GrammarSlv,
  LexiconSlv,
  ConstructionSlv

  ** {

} ;