Major work on the type traits for the noexcept proposal, bringing them in line with the current working paper (N3035) and making the wording more precise.