implemented d xForall, tests, x_ method
Merge branch 'feat-xForall' into develop