A vector representation of
A strictly ascending vector of distinct elements with respect
Find last map element which is not GT with respect to the given ordering function.
Insert the symbol/value pair into the map. TODO: Optimize! Use the invariant, that VMap is kept in an ascending vector.