Introducing annotations in grammar