Generalising index sections

[athas]

With #2362 and #2369, we have unified array and record updates. Sections are still divided, however: while we can write (.[0]) and (.f), we cannot write (.[0].f) (which would be syntactic sugar for (\x -> x[0].f). What do you say @armadi1809; are you up for doing this as well?