[pile] - code quality

[quinn-dougherty]

Deliverable

sections for Danaswap, stablecoin, and frontend.

Here, we summarize internal documents about code quality. Measures, habits, property tests.