Add refinement for extracting options from an array