Are these two sentences not contradictive? 
> if it is annotated with @ValidateOnExecution and the type attribute contains the executable type or IMPLICIT. If the type attribute does not contain the executable type, the executable is not validated.
So the type attribute has to match the executable type of the element being validated or it has to be IMPLICIT. But unless there is a match validation is ignored. What's about IMPLICIT?