Introduce introspection operations

- Equality of values, assets, spks(possibly confidential)
- Testing where an asset/value is explicit
- Checking the current executing input index

Author: sanket1729