let addl dl =
  let is_int = function Int -> true | _ -> false in
    if dl = [] then Int
    else if List.for_all is_int dl then Int 
    else Real