Some conjectures on Weil cohomology theories over $\overline{F}_p$