let is_proper_subtype data subtype supertype = match get_distance data subtype supertype with | Some(n) when n > 0 -> true | _ -> false