Integration of exponential types by substitution