Changelog for predicate-typed

Unreleased changes