Modified traits.h to include Remove_pointer and Add_pointer, which I missed.