Bugfix: OOV list nonterminals now recognized as such

The decoder expects nonterminals to be surrounded by square brackets prior
to being integerized, which was not the case with nonterminals pass in. Now,
they can be passed in either with or without them and the decoder will do
the right thing.