- [ ] Add separate interface akin to `CEMScript` - [ ] Add on-chain implementation (sharing code) - [ ] Add support in `TransitionSpec`