No bill of attainder, ex post facto law, or law impairing the obligations of contracts shall ever be passed.