First cut at a specification

We have implemented a subset of this syntax in a number of systems.