Add forany/forall (Marcus Holmgren's patch, basically).