Add type inference to stealing list