By this time, we only formalised map literals shaped as ~{K1 => V1, ..., KN => VN}. However, the general syntax of maps allows putting values into the map: ~{K1 => V1, ..., KN => VN | Map}. This change requires the introduction of an additional Exp-typed parameter to the constructor EMap (and the adjustments of every other file).
By this time, we only formalised map literals shaped as
~{K1 => V1, ..., KN => VN}. However, the general syntax of maps allows putting values into the map:~{K1 => V1, ..., KN => VN | Map}. This change requires the introduction of an additionalExp-typed parameter to the constructorEMap(and the adjustments of every other file).