Merge pull request #1422 from GaloisInc/update-changes-md

Update CHANGES.md with language changes

CHANGES.md

@@ -1,14 +1,28 @@
 # next
 
-## Bug fixes
+## Language changes
 
-* Fix a bug in the What4 backend that could cause applications of `(@)` with
-  symbolic `Integer` indices to become out of bounds (#1359).
+* The foreign function interface (FFI) has been added, which allows Cryptol to
+  call functions written in C. See the [manual section](https://galoisinc.github.io/cryptol/RefMan/_build/html/FFI.html)
+  for more information.
+
+* The unary `-` operator now has the same precedence as binary `-`, meaning
+  expressions like `-x^^2` will now parse as `-(x^^2)` instead of `(-x)^^2`.
+  **This is a breaking change.** A warning has been added in cases where the
+  behavior has changed, and can be disabled with `:set warnPrefixAssoc=off`.
+
+* Infix operators are now allowed in import lists: `import M ((<+>))` will
+  import only the operator `<+>` from module `M`.
 
 ## New features
 
 * Add a `:time` command to benchmark the evaluation time of expressions.
 
+## Bug fixes
+
+* Fix a bug in the What4 backend that could cause applications of `(@)` with
+  symbolic `Integer` indices to become out of bounds (#1359).
+
 # 2.13.0
 
 ## Language changes