add comments; clean up a bit
delete comment
add rep invariant; tweak docs
add balanced-parens example