Would be awesome if you could make a short video walking us through the purpose / usage of abstractions in subscriptions. In particular the various types of subscriptions, and usage of checkpoints ?