Add compose into record access of known field checks

[lue-bird]

Completes #162 except the parenthesized composition which will be done together with #209

.field << (\a -> { field = b, other = other })
--> (\a -> b)

.field << (\a -> { record | field = b, other = other })
--> (\a -> b)

.field << (\a -> { record | otherField = b })
--> (\a -> record.field)

Note that your original proposal was

.field << (\a -> { record | otherField = b })
--> .field << (\a -> record)

If you prefer that, I'll change it.

[github-actions[bot]]

The branch can be tried out by running:

elm-review --template jfmengels/elm-review-simplify/preview

[jfmengels]

I think your simplication version is very nice and will likely lead to better simplifications :+1: Nice work :+1: