Finished moving GSF.ebnf over to the "easy" format