Kind checking data type usage

Currently if we have:

```haskell
type Maybe a = Just a | Nothing
```

then we can make another type like 

```haskell
type Wrong = Maybe Int String
```

This should fail because `Maybe` only takes one type arg, and this uses two.