Delete defunct `parse` function.

Closes #21.
Add `.js` suffix to test file names.

Added the `.js` suffix to the unit tests in accordance with the new
naming conventions for Proof tests.

Closes #23.
Move commas to end of line.

I've decided that comma delimited lists are easier to read when the
comma is at the end of the line.

Closes #22.
Merge branch `tidy` into `master`.