Added operational semantics to docs/core-spec.