abstract AllFreAbs = 
  Lang,
  IrregFreAbs,
  Extend
  ** {} ;