MPZ-SIZE and VEC-* are sometimes incompatible #40
Description
Just because two MPZ-SIZEs are equal doesn't mean their vector sizes will be equal. This is a bad assumption that was made with MPZ-=. Are there other places where this assumption is being incorrectly made?