event
 simpler infinite
 component constructor
  end, more
 basic control flow command
  while statement on condition, alambdaxcond
 component conversion to bit
  continue
 derivative control flow command
  while without statement on condition, do while, c's for
bitstream
 simpler infinite with finite partitions
 linear, bounded at the beginning
 component constructor
  end, no, yes