LeanDB a strongly Typed SQL front end

Because in Lean 4 your schema, your queries and your migrations can all be types, and the compiler checks all three.