Documented pointer_traits according to Trac #10853 proposal
Fixed wrong comment in bounded_range when lower and upper are equal.