An essay on the constitutional prohibitions against legislation impairing the obligation of contracts, and against retroactive and ex post facto laws