sum x: #x:type-constructor actions . #.name in (#x:type-constructor action (x)) . provides_out
  + sum m: #x:type-constructor modeling. #.name internal (m) . provides_out