Add [for_all x in int, do: something] format
Add _build to .gitignore
Use more for_all in format in tests
Add such_that x in y when z format
Update readme and tests format