DataKinds: ticks inside type-level lists are not correctly spaced

Nobody has claimed this yet.

For the following input, brittany produces invalid output:
```haskell
{-# LANGUAGE DataKinds #-}
-- this fails
type A x y = '[ '(x, y)]
type B x = '[ '[x]]
-- formatted as:
-- type A x y = '['(x, y)]
-- type B x = '['[x]]

-- this works
type C x y = '( '[x], '[y])
type D x y = '( '(x, y), '(x, y))
```
The output removes the space between the bracket and the second tick, which leads to `'['` being parsed as a Char literal. This problem does not occur inside type-level tuples.

Start by reproducing the issue with the DataKinds examples in the report and compare the formatter's output for type-level lists with type-level tuples. Trace the formatting path for bracketed type-level lists; done means the space between the opening bracket and second tick is preserved and the formatted declarations remain valid Haskell.

Written by the indexing model from the issue text.