Slightly simplify ctor for BasicOption