parse: remove r5js.parse.isTerminal.
misc: fill in some unknown types.