abstract lins = {

cat Nat ;
cat C Nat ;

fun zero : Nat ;
    test : C zero ;

}