concrete LangIce of Lang = GrammarIce ,LexiconIce --,ConstructionIce ** {} ;