Mon Dec 31 02:09:45 CET 2018

propagation of changes

I'm sure now that the problem is lack of types, or even lack of just
binding information.  The only way to get over this is to somehow
declare protocols, and that can be done by finding a way of declaring
types over channels.