let rec val_of = function Pnamed(_,p) -> val_of p | p -> p