abstract AllEstAbs = 
  Lang,
  ExtraEstAbs
  ** {} ;