[ADT/StringMap] Add a constructor in StringMap that accepts both an
initial size and an allocator.