Jansénisme et réforme de l'église dans l'empire portugais, 1640 à 1790