concrete NumeralSwa of Numeral = CatSwa ** open ResSwa in {


}