Adds descriptors and moves labeldescr there.  Adds conditiondescr.  Simplifies the implementation of if_, and while_.  Adds a value form of select.  Adds help macros to type_traits.hpp.