Demonstrate the Set-like nature of Options collections

Options collections are backed by Sets, and thus trying to push a new
option with a name that duplicates an existing option cannot succeed.

Later, we can exploit this behavior and remove some conditionals.
Options: ensure copies do not share the underlying collection