The grammar prohibits optional parameters with a string literal type

The grammar prohibits the following signature:

```
(x?: "hi");
```

But both implementations allow it, and it is reasonable. The nonterminal OptionalParameter needs to be augmented to allow it.
