Franchise Tags and Extensions (aka, the Nolan Arenado rule)