Fixed a missing 'import' causing MVPolyDict.__add__ to fail