feat: add typeclass instances for common types#11924

Draft

alok wants to merge 6 commits intoleanprover:masterfrom

alok:feat/append-instances

Commits on Jan 12, 2026

feat: add LE instances for transparency and reducibility hints
alok
committed