option: rm implementation of Add

Closes #6002

This is the consensus reached in the discussion on the bug.