make invokers for methods declared on unproxyable bean types non-port…

…able; this commit should be squashed before merging

spec/src/main/asciidoc/core/invokers.asciidoc

@@ -23,8 +23,8 @@ Invalid target methods are:
 
 Attempting to build an invoker for an invalid target method leads to a deployment problem.
 
-Attempting to build an invoker for a `final` target method leads to non-portable behavior.
 Attempting to build an invoker for a target method declared on a type that is not present in the set of bean types of the target bean leads to non-portable behavior.
+Attempting to build an invoker for a target method declared on an <<unproxyable,unproxyable>> bean type leads to non-portable behavior.
 
 When the target bean is not a managed bean, attempting to build an invoker leads to a deployment problem.
 When the target bean is an interceptor, attempting to build an invoker leads to a deployment problem.
@@ -65,8 +65,8 @@ If the target method is not `static` and the `instance` is not permissible for t
 
 The `instance` is permissible for the target method when:
 
-* the `instance` is a contextual reference for the target bean and the type that declares the target method, or
-* the `instance` is a contextual reference for the target bean (regardless of type) and the target method is declared on an interface that is present in the set of bean types of the target bean (see <<typecasting_between_bean_types>>), or
+* the `instance` is a contextual reference for the target bean and the bean type that declares the target method, or
+* the `instance` is a contextual reference for the target bean (regardless of the bean type) and the target method is declared on an interface that is present in the set of bean types of the target bean (see <<typecasting_between_bean_types>>), or
 * the `instance` is a non-contextual object and the class of the `instance` declares the target method or inherits it from a supertype, or
 * in other, non-portable (implementation defined) cases.