recursive bindings explicit in abstract store. 2nd test prog.