move type traits to the head of rng_set.hpp