Meeting 9

In which we add specs for chapter 5 and 6 and also add support for parsing programs so that we can parse arithmetic expressions.