[Attainder -- Ex post facto laws -- Impairing contracts.]No bill of attainder, ex post facto law, or law impairing the obligation of contracts shall be passed.