Makes it easier to structure the proof hierarchically. Everything between an openExp and a closeExp command forms a single unit within the hierarchy.
Merge branch 'js-test-runner'