Forwarding relies on rewiring

Instead of computing all the conversions and tags upfront. There are
many todos in the area of checking the rewiring will be correct, but
luckily we have tests for that.
One error down, one to go
Cutting corners