Update CHANGES before release

The inconsistence with prop_extensionality must be explained better.