Remove more quasi-quotations with forall types