Check for puns (see ghc#23368)

Update the HTML backend to respect list and tuple puns.

Before

screenshot of rendered HTML that uses List

After

screenshot of rendered HTML that uses []-syntax

Merge request reports

Loading