WIP: Notes about lambda representation and translation
Journal update from last week...