Normalization by Gluing for Free λ-Theories