Changed definitons for memoization in Memo, testing some new named
patterns defined in Grammar.