ExplicitLevelImports: missing check for types
This is accepted:
Y.hs
```hs
{-# LANGUAGE ExplicitLevelImports #-}
module Y where
data T = MkT
```
X.hs
```hs
{-# LANGUAGE ExplicitLevelImports, DataKinds, TemplateHaskell #-}
module X where
import splice Y
import Language.Haskell.TH
type A = T
type B = 'MkT
c :: Q Type
c = [t|T|]
d :: Q Type
d = [t|'MkT|]
```
However, `import splice Y` should bring entities only for use in splices. It looks like we don't do this check for types.
issue