It's interesting that you're proposals for fixing DB programming involve Imperative languages

Where have I said this? (A long time ago we had an argument about such, but I eventually caved in.) The language I propose could be seen as functional or logical. But, could be implemented sequentially for smaller libraries. That is the beauty of it.