baseContext should check label types across rules

[sharwell]

The following grammar should produce an error relating to the value label before generating code:

grammar A;

a : 'a';
b : 'b';
y1 : value=a;
y2 options { baseContext = y1; } : value=b;