HMaps: fix subtyping, preserve absent keys in update (with unit test).