Hi,

I received from Daniel the below small tweaks and additional comments to 
<type_traits>, which I have very slightly tweaked, regtested on 
x86_64-linux, and applied to mainline.

Thanks,
Paolo.

///////////////////