Better logic for `reltag`
Smarten `autofixup`
Smarten `go_back`
Add `what`?!