Marks a recursor declaration as using constructor iota-reduction rules.
@type t() :: %Theoria.Env.Reduction.Iota{}