Inductive maps in Environ now use HMap.