Yeah, definitely a simple definition of velocity that counts any transaction denominated in Bitcoin, whether it's on-chain or L2.

And yes, would also have to adjust for lost coins, but it's also the same as having a lower velocity because the lost coins never transact!