Refactor TraitsSpec, use dsl

Following earlier PR https://github.com/wimdu/alonzo/pull/6 , updated [TraitsSpec](https://github.com/wimdu/alonzo/blob/master/test/Channel/TraitsSpec.hs) to use the new DSL.