Add List.append simplifications

[lue-bird]

List.append [] ys --> ys
List.append xs [] --> xs
List.append [ a, b ] [ c ] --> [ a, b, c ]