DSL in tests

- [x] Prepare draft DSL
- [ ] Refactor [TraitsSpec](https://github.com/wimdu/alonzo/blob/master/test/Channel/TraitsSpec.hs)