Protover vocabulary is still rather scattered

After torspec!352 (merged), our vocabulary for subprotocol versioning is improved in tor-spec. Unfortunately, the terminology we use in arti are all over the place. We ought to normalize this.