Towards a monadic solution.
Refactoring.
- Introduce Chains
- Change ChainableLink to LinkAny, ChainableRunner to RunnerDataAny, etc.
Refactoring and remove requirement for proof when combining proxies.
- Proof is required for running and lifting into a runner
- Renamed Proxy to LinkedProxy
- Renamed ProxyNeedsProof to Proxy