What ideas of enlightenment writers were used by the framers of the constitution?