Default, "do nothing", implementation of re_parametrise.

Should allow greater flexibility when specialising re_parametrise for
multi-parameter types.
Added functor/applicative/monad to std::set.