Specification Introduction

This spec is a work in progress. Since Strat compiles into a "bytecode" .sa format, there are two specifications: