Added nested record access syntax

record { a->b->c } x is equivalent to c (b (a x))

It's longer, but symmetric wrt the update syntax. Also added a test.