Fix .bad mismatches from forall intents