+Numbers = List : ? <- ?(Value : I|F)
+SortedIntegers = Numbers [?(Key : Const), Integer : A..Z]
