annotation mappings use @Matcher instead of duplicating the AVs