Double Glueing over Free Exponential: with Measure Theoretic Applications