Primitive reduction metadata attached to environment declarations.
@type t() :: Theoria.Env.Reduction.Iota.t()
@spec known?(term()) :: boolean()