List of scoped names
A list of scoped names is a list of names separates by ',' or just a single scoped name.
Definition:
scoped_names := scoped_name [scoped_name_suc(*)]
A list of scoped names is a list of names separates by ',' or just a single scoped name.
scoped_names := scoped_name [scoped_name_suc(*)]