Adds a memoized Y-like combinator.