abstract AllEstAbs =
  Lang,
  Extend
  ** {} ;