Integrating exponential types | Integration by Substitution