Rename project to Programmatic.

Closes #34.
Update `LICENSE` for 2014.

Closes #35.
Upgrade Proof to 0.0.41.

Closes #36.