Specification

The full language specifiction is under construction. At this point we have a partial specification for the core language only.