A formal sum implementation based on dict.
This class inherits FormalSumContainerInterface.
args can be any dict initial values. It makes a mapping from bases to coefficients.
The optional argument defaultvalue is the default value for __getitem__, i.e., if there is no term with the specified base, a look up attempt returns the defaultvalue.