Run rewrite tool on tests

I ran the latest version of the rewrite tool on `tests/untried/pos`. Then I also ran a script which moves those test which succeed from `tests/untried/pos` to `tests/pos`.
So all 293 tests which are still in `tests/untried/pos` are failing, and we can start tackling these ;-)