adding Hmap.is_singleton