concrete NumeralSwa of Numeral = CatSwa [Numeral,Digits] ** open ResSwa in {


}