@type t() :: %Theoria.Inductive.Report{
  declarations: [atom()],
  name: atom(),
  shape: :bool_like | :nat_like | :list_like | :unknown,
  universe_params: [atom()]
}