is()/as(): refactor of is() and as() for std::any and std::optional to new design (part 3 of n)

is()/as(): refactor of is() and as() for std::any and std::optional to new design (part 3 of n) #599