Updates to GSF.ebnf to reflect updates in the docs