Commits since last release

Check upstream for the full history.

• Fix missing negation handling in a bunch of predicates commit
• Constrain mvars under compare and branch with built-in predicates commit
• Define `cl-satisfies-deftype' mapping predicate -> type commit