An immutable, persistent map from keys of type K to values of type V, with keys arranged in
sorted order (according to some Comparator), and with various methods to obtain
specific mappings or ranges of mappings based on this ordering (such as the least key greater
than some instance of type K, or the sub-map with keys between two instances of type K).