Upgrade Proof to `*`.

Closes #37.