TYPE
 person = id : INT
          name :STR;
ENDTYPE


f(X) = pp(X);

newname(X,N) = person(id(X),N);