From 20060805 spec. AFAICS The spec doesn't explicitly state what happens when you declare multiple stereotypes which all specify requiredTypes or supportedScopes (it implies they are ANDed) - might be worth stating explicitly?