A SQL DSL grounded in DRY and strong typing