Fix mkGadtDecl does not set con_forall correctly