-- (c) Krasimir Angelov 2009
abstract Graftal = {
  cat N; S;
  fun z : N ;
      s : N -> N ;
      c : N -> S ;
  }