Implement OTT universe

- [x] universe
- [x] decoder
- [x] equality
- [x] coercion
- [x] coherence laws, functoriality