Add reverse on wrapped simplifications

[lue-bird]

Implements #143 including your comment.

List.reverse [ a ]
--> [ a ]

-- not in summary for example
List.reverse << List.singleton
--> List.singleton

String.reverse (String.fromChar a)
--> String.fromChar a

-- not in summary
String.reverse << String.fromChar
--> String.fromChar

As an unrelated extra, adds the missing List.reverse [] --> [] to the summary.