As Bagua only existed 8 years before his death surely there was only one version in his lifetime? (which he didn't learn and certainly didn't add to his Taiji)
Not necessarily.It's known that Tung taught one disciple the lion system, a different PK from what he taught everybody else. All the other lines are variants of the dragon (which is really snake) PK. Miller wrote of it in his now defunct PK Journal.
LOL! Regarding which style combines the essence of Taiji, Bagua, and Xingyi, Dan Bian is right on the money. It is the Sun style, not the Yang style.