Basic Structures of Function Field Arithmetic