Iwasawa Theory over Function Fields of Characteristic $p$