Annotion matching compiles into MethodMatcher
Annotation expressions stricted to simple FQN classes
Example enhaced about transactional aspect