add region annotations to vec's BaseIter impl + minor cleanup