Missing primitives in HMap.
Universe level maps use HMaps.
Adding a "is_val" primitive to IStream.
Small code sharing in TacticMatching.