Module TypeCore.IVarMap

module IVarMap: Fix.IMPERATIVE_MAPS  with type key = var

This is an imperative version of VarMap, in the form expected by Fix.