6/20/14: the Parser's gotten a bit better. Ignore the note I added, its wrong.
6/20/14: renamed some methods on ParseStack