Use Map as the representation of substitutions.