Update list of flags implied by -XGADTs in User's Guide section on GADTs