option: rm functions that duplicate methods
auto merge of #5414 : thestinger/rust/option, r=catamorphism