changelog

Author: Tragicus

Changelog.md

@@ -2,6 +2,13 @@
 
 ## Unreleased
 
+### General
+
+- **Change** For a structure S on a subject of type T, declares sort as an
+	Elpi coercion from S to T and an Epli coercion from T to S whenever T
+	has no gref.
+- **Change** Declares axioms_ as a typeclass
+
 ## [1.7.0] - 2024-01-10
 
 Compatible with