add spec files to 2-4-denotational/