[WIP] Add arrows intro

TODO:

- [ ] Parametrised types as context
- [x] Arrow laws
- [ ] Non-trivial arrow instance
- [ ] Revise "too general" passage