extends the grammar to have a way to define a new type of location that is allowed...