Edit wip-haskell specification

Channels
Add
Systems