Mark ARM-9 withdrawn.

No activity on this as an independent proposal, plus its
scope was subsumed into ARM-8 about dependency injection.