built an extended example; discovered that you can't do `many dedent` or even `many nextline`, which trows a wrench in the works of lexing indentation parsers