abstract AllSpaAbs = 
  Lang,
  IrregSpaAbs,
  ExtraSpaAbs
  ** {} ;