method vtype ty =
let ty = match self#wrap_type_if_needed ty with
| Some newty -> newty
| None -> ty
in
if isFunctionType ty then
(* Applies changes in particular to parameter types in function types. *)
ChangeDoChildrenPost (ty, fun x -> x)
else
ChangeTo ty