Pruning Simply Typed Lambda-Terms