working on the denotation function for Lambda