Kind synonyms do not work

As discussed in our meeting, this does not compile

```haskell
module Example(fac, main) where

import Data.TypeLits
import Data.Proxy

type LocTy = Symbol

type LocTm = String

toLocTm :: forall (l :: LocTy) . KnownSymbol l => Proxy l -> LocTm
toLocTm = undefined

main :: IO ()
main = undefined
```