let mktype tnode = new ptype tnode