Changelog of @hackage/smtLib 1.0.7

1.0: First release.