- `autotest(before)` and `autotest(after)` added.
- `test3()` can compare mismatching types now.
- final reports do not duplicate lines anymore.