The "Defining new scope types" chapter has a TODO about allowing @Priority on stereotypes. This should be decided separately, out of the Lite/Full split. The TODO itself can/should be removed without action.
https://github.com/eclipse-ee4j/cdi/blob/864e1b4f779e4d6d5a80f147d975a510446d4987/spec/src/main/asciidoc/core/definition.asciidoc