documentation and bug fixes
test output reflects what bringBackClosureBodies does
optimizer runs by default, much to the dislike of these tests