'Simplifies' Join.Channel

- Adds and exports Message dependency
- Constrains Channel GADT by MessageType
- Renames internal 'Channel' constructor to 'AChannel'.
- Renames 'inferSync' to 'inferChannel'.