LaTeX: fix printing of type variable bindings

Consider this type signature:

kindOf :: forall {k} (a :: k). Proxy a -> Proxy k

Prior to this fix, the LaTeX backend rendered it like this:

kindOf :: forall k a. Proxy a -> Proxy k

Now we preserve explicit specificity and kind annotations.