An SQL DSL grounded in DRY and strong typing