Peano edits

I'd like to suggest these corrections to the Peano chapter.  I think that the bit about the module declaration is particularly important.  Without that declaration the reader gets a syntax error with a very unhelpful error message.