add(sicp) 4.31; add the lazy, lazy-memo param support for procedure