Add some TODOs in the README
Add for-all macro

`for-all` is now `for-all*`.
Update one test to use new `for-all` macro
Merge branch 'feature/for-all-macro'