let rec sub d1 d2 =
  match d1, d2 with
    | _, Real -> true
    | Int, Int -> true
    | Nonint, Nonint -> true
    | _ -> false