docs and edge condition tweaks for GetNext/GetPrevious for ExplicitRangeTraitsWithoutMinMax<>