Competitive Nonlinear Taxation and Constitutional Choice