A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations