We now generate channels.ts from the protocol definition. There are still some shortcomings, like union types - these will be addressed in follow ups.