Basic redirection specs

Defines some very basic behaviour and data structures for redirection.

All specs are currently pending.
Remove all mention of backends

Redirection shouldn't have any backends at all - the operation should
happen entirely on the Router.