concept Variable refinement regarding ScopeMember (Needs NB Comment)

[Dani-Hub]

This is not a review deviation of the accepted p0670r4 document but was observed during the review:

In [reflect.synopsis], the declaration is presented as:

template <class T> concept Variable; // refines Typed and ScopeMember

but the defining sub-clause [reflect.concepts.variable] says:

template <class T> concept Variable = Typed<T> && see below ;

If the synopsis comment was correct, I would expect that [reflect.concepts.variable] should be presented as

template <class T> concept Variable = Typed<T> && ScopeMember<T> && see below ;

but if [reflect.concepts.variable] is correct, I would expect that [reflect.synopsis] is corrected to say

template <class T> concept Variable; // refines Typed