option: rm implementation of Add

Closes #6002

There is consensus that the current implementation should be changed or
removed, so removing it seems like the right decision for now.
auto merge of #8772 : thestinger/rust/option, r=anasazi

Closes #6002 

There is consensus that the current implementation should be changed or
removed, so removing it seems like the right decision for now.