Init: recursively zips together lists into doubles
Init: recursively checks whether an element exists in a list