moved linking specs into separate document
renamed modules-deltas to syntax-and-static-semantics