let reduce_variable_type = function
  | Var t -> Var (convert_type t)
  | TypeDefName t -> TypeDefName (convert_type t)
  | EnumVal x -> EnumVal x