copied over official grammar from st80. One recursive production needs
to be cleaned up a bit to be to my liking, but otherwise, it is what I
should aim for, plus the filein syntax.