Variance checking for higher-kinded types

Variance is currently not checked in higher-kinded types. The following lines should all give an error but don't:
```scala
  type F[-X] = X => X
  type G[+X] = X => X
  type H = [-X] => X => X
  type I = [+X] => X => X
```
