Tidy `lib/proof.js` function variable names.

Closes #143.