Yet, if the transactions are valid, the old nodes have no idea where those coins got spent. Are they seen as lost coins?
Old nodes do know where the coins are going, as the transaction format didn't change. It has inputs and outputs. Taproot inputs are seen as valid by pre-taproot nodes (including taproot-invalid taproot inputs, of course, as they can't verify the rules). But nothing changed about the rest; pre-taproot nodes still:
- Require that UTXOs referenced as inputs exist, and mark them spent
- Create new UTXOs for all outputs in the transaction
- Enforce the sum of the input amounts is at least equal to the output amounts
- ...
What happens when a Taproot transaction is followed by a old style transaction such that UTXOs are back to being available for spending as an old-style transactions?
There is no such thing as a taproot transaction. Taproot validation rules are a per-input concept, local to its script validation. Everything else about a transaction with a taproot input is unchanged.
The successor transaction is just validated normally.