Going back to before the spurious commits form agda#1902 entered this branch/PR

Revert "`CHANGELOG`"

This reverts commit e54f2a7.

Author: jamesmckinna

CHANGELOG.md

@@ -605,8 +605,6 @@ Non-backwards compatible changes
 
 * New modules:
   ```
-  Algebra.Construct.Initial
-  Algebra.Construct.Terminal
   Data.List.Effectful.Transformer
   Data.List.NonEmpty.Effectful.Transformer
   Data.Maybe.Effectful.Transformer
@@ -872,14 +870,6 @@ Deprecated modules
 Deprecated names
 ----------------
 
-* In `Algebra.Construct.Zero`:
-  ```agda
-  rawMagma   ↦  Algebra.Construct.Terminal.rawMagma
-  magma      ↦  Algebra.Construct.Terminal.magma
-  semigroup  ↦  Algebra.Construct.Terminal.semigroup
-  band       ↦  Algebra.Construct.Terminal.band
-  ```
-
 * In `Codata.Guarded.Stream.Properties`:
   ```agda
   map-identity  ↦  map-id