Changing the phylosophy of the assignment operator: it doesn't copy the
vector as a class (copying its members), but rather it copies (possibly
importing off processor values) the entries.
Adding a quick check for the equality operator.
Adding an assert for the import: the two maps have to be compatible, i.e.,
globally, they MUST have the same global elements