concrete DummyNatCnc of DummyNat = {

lincat Nat = Str ;
lin zero = "z" ;
    succ n = n ;
    plus m n = m ++ n ;

}