Changelog of @hackage/lean-peano 1.0.2.0

Changelog for lean-peano

Unreleased changes