abstract AllHinAbs =
  Lang
--  ExtraHinAbs
  ** {} ;