The third image showing the arrows for traffic direction gave me a tiny eureka moment. You don't need complex rules for what cars can do at an intersection. You don't reason about the intersection at all. You reason about the lanes!

At each choice cell, you just weigh the turn lower than going straight when randomly deciding. And if you don't want U-turns, you set a rule like it describes, or any sort of "cooldown" on turning.