Transform.MakeCombTransform
functor to build the function to map a signal to a new combinatorial signal representation
module B : Comb.Primitives with type t = Signal.t
val transform : transform_fn
function which will map signals to a new representation