Add support for atomic vectors (field-sensitive pointer analysis)

[Slartibartfass2]

Is your feature request related to a problem? Please describe.

Currently, there's no differentiation between if the whole vector or a single element of it was accessed.

e.g.

numbers <- c(1, 2, 3, 4, 5)
numbers[1] # or numbers[[1]] (as long as it's a single index and not a range)

Describe the solution you would like

Add support for atomic vectors by adding the missing edges in the dataflow graph.

Additional context