Moved the vector type back into Collections.Vector.fs (though it's still under the ExtCore namespace).
Created the ExtraPervasives.fs file and moved the ExtraTopLevelOperators module into it.