There should be some way to indicate [2001:...].foo.exit
Right now, there isn't a workable syntax for describing "IPv6 address X, as connected to through the exit foo." This could be important for doing the kind of tricks people like with MapAddress and its friends.