WARNING: implement private hbm only

chore: Update Lean to 4.23

chore: Update Lean to 4.23

chore: Update Lean to 4.23

chore: update version for release

doc: update version and docs for release

feat: implement simplify in C

This code was written by Q by comparison with the lean code
in NKI/Simplify.lean

chore: Unify printing of json/repr

chore: remove panic from Access.shape

This change introduces well-formed conditions to the Access type, so that all
Access terms are correct by construction. The Options in the Index type are
also removed as these can be computed during tracing.

chore: Bump version to 0.0.7

Want new wheels to try arm linux