concrete CatSwa of Cat = CommonX
  ** CatBantu with (ResBantu = ResSwa);