let make s l ty = T.hashcons {f=s;xs=l;ty=ty;tag=0 (* dumb_value *) }