Aspects of Iwasawa theory over function fields