Changelog for contracheck-applicative

Unreleased changes