added monotone_affine, special_affine and special_monotone_affine correctors