Refactor `deep' function, splitting a "remember" version from the
full "memoization"ful implementation.
Finish to clean `deep' function about memoization implementation:
removed non recursive function and make `find' helper hidden function
more powerful in order to discard `member'.