added a memoized Y-combinator as sample code
changed code annotation for the return value of function calls