Add record type alias constructor simplifications

[lue-bird]

Everything left in https://github.com/jfmengels/elm-review-simplify/issues/162 and more

-- given
type alias Record = { first : Int, second : Int }

-- all those that exist for literal records, for example
(if c then Record first second else Record second first).first
--> if c then (Record first second).first else (Record second first).first

.first << Record first
--> always first

.second << Record first
--> identity