Don't allow wildcards in instance heads

E.g.

    instance Eq _ where
      ...

should always result in an error.