Now, the question is: How do we implement them?

We need a syntax that can describe a splice of any complexity in the simplest way possible: Splice Script.