let
mktype tnode =
new
ptype tnode