Iterable: add the for_each method
Sandbox: prototype for better law checking.