Basic redirection specs

Defines some very basic behaviour and data structures for redirection.

All specs are currently pending.