Module B0_memo_kit

Higher-level memoizing operations.