( deftype person TUP
  ( id INT )
  ( name STR )
)
;---------------------

( def f lambda
  ( X )
  ( pp X )
)
;---------------------

( def newname lambda
  ( X N )
  ( person
    ( id X ) N
  )
)
;---------------------