Fix a bug in commit 12eeb9 which permits the following:

class C a where type T a b instance C (Maybe a) where type forall a b. T (Maybe a) b = b

where instead, the user should write:

instance C (Maybe a) where type forall b. T (Maybe a) b = b

Update the users guide to discuss scoping of type variables in

explicit foralls in type family instances.