let rec reduce_ldecl ~env (lsclass, typ, id, initopt) =
  let typ = convert_type typ in
  let initopt = Option.map (reduce_initializer ~env ~typ:typ) initopt in
  (lsclass, typ, id, initopt)