Draft: Generalize the DefaultDerivativeTraits for mixed types

Summary

This MR makes the DefaultDerivativeTraits work in the case of mixed argument types for domain and range, especially for mixed floating-point types.