The Ramban largely had the format that was popular in Ashkenaz.
If Rabbeinu Tam would have had the Rach’s approach instead of Rashi’s, the tosofos would never have been able to be formulated.
Your observation on the expanded formula of the Bavli is a good one.