Pinball in vanilla (proof of concept)

I recently had an idea on how you could make pinball in vanilla with minecarts, boats, and leads. Check it out!