Support for granted and forbidden constraints in grammar, with tests