A backend independent database client in Lean

This is very much work in progress.

• transaction management
• external migration tools have standardized formats that we could produce (flyway, liquibase)
• getAll with custom iterarators evaluating to cursors in the database
• typescript: prisma, convex.dev