Fixtype of constant flattening environments.
A constant flattening environment captures the information about the currently known values of constants. It is a finite map from constant names (identifiers) to values.
