More changes

- Adapt to changes in mirage-tc
- Clearer explanations for task semantics
- Universal values have also a type-class