Update spec.md

Semantics for concatenative.