Specification

Okay… we don’t exactly have a specification yet. But there’s a basic language description for now.