Add a "forall" quantifier before rank-n-types

This is for compatibility with GHC Trac #4426