add OpenUnion.
add HMap.
s/lift/\1H/g
add map-like functions.