std::result: Remove function `map_opt`

std::result: Remove function `map_opt`.

This function has never had any users in the tree, so this is my
initiative to remove this function.