sum x: #x:type-constructor replies . #.name reply (x) . provides_r2c ()
 + #.name end . provides_r2c()
 + sum x: #x:type-constructor actions . #.name out (#x:type-constructor action (x)) . provides_out ()
