[web-animations-1] Export effect target, target element, target pseudo-selector and relevant animation

Fixes w3c#8001.

Author: birtles

web-animations-1/Overview.bs

@@ -3253,18 +3253,22 @@ the <a>animation type</a> is <a>discrete</a>.
 Keyframe effects {#keyframe-effects}
 ----------------------------------------
 
-<dfn lt="keyframe effect">Keyframe effects</dfn> are a kind of [=animation
-effect=] that use the output of the timing model to update CSS properties of
-an element or [=pseudo-element=] (such as `::before` or `::after` [[!select]])
-referred to as the <dfn>effect target</dfn>.
-
-In order for the [=effect target=] to have a well-defined lifecycle,
-it is represented as an {{Element}} known as the <dfn>target element</dfn>
-and a [=pseudo-element=] selector knows as the <dfn>target pseudo-selector</dfn>.
-If the [=effect target=] is an {{Element}}, the [=target element=] is that
-element and the [=target pseudo-selector=] is `null`.
-If the [=effect target=] is a [=pseudo-element=], the [=target element=] is
-its [=originating element=] and the [=target pseudo-selector=] is as required
+<dfn lt="keyframe effect">Keyframe effects</dfn> are a kind of
+[=animation effect=] that use the output of the timing model
+to update CSS properties of an element
+or [=pseudo-element=] (such as `::before` or `::after` [[!select]])
+referred to as the <dfn for="keyframe effect" export>effect target</dfn>.
+
+The [=effect target=] is comprised of
+an {{Element}} known as the <dfn for="effect target" export>target element</dfn>
+and a [=pseudo-element=] selector known as the
+<dfn for="effect target" export>target pseudo-selector</dfn>.
+If the [=effect target=] is an {{Element}},
+the [=target element=] is that element
+and the [=target pseudo-selector=] is `null`.
+If the [=effect target=] is a [=pseudo-element=],
+the [=target element=] is its [=originating element=]
+and the [=target pseudo-selector=] is as required
 to specify that particular [=pseudo-element=].
 
 Note that not all [=effect targets=] specified in this manner (such as ''::part()''
@@ -5938,7 +5942,7 @@ animation.play();</pre>
     of such a descendant.
 
     An [=animation=] is
-    <dfn lt="relevant animation" local-lt="relevant">relevant</dfn> if:
+    <dfn lt="relevant animation" local-lt="relevant" export>relevant</dfn> if:
 
     * Its [=associated effect=] is [=current=] <em>or</em> [=in effect=],
         <em>and</em>