Add a HMap constructor, per Julien's suggestion