Add index_type() function to retrieve type for integer indexing operation
Add size to dict types
Pass in the right number of arguments to type functions
Give index subscript generation a type