I have had some plans on updating the SRFI to add some reducers I did not include because I never actually used transducers before writing the initial implementation.
I don't really understand what you mean by types (my implementation stays monomorphic so new types are easily introduced by TYPE-transduce) , but I have thought about generalising things like numerical ranges by having something like unfold-transduce.