Maybe iterators now more conformant to formal requirements.
Corrected non-existant dependency in orderable module docs.
Fixed several type test generators in type_traits.h.