sig   type t   val create : unit -> Note.Step.t   val execute : Note.Step.t -> unit end