A semi-completed version of the ASON spec

We should have definitions for everything now. We'll want to include some
proofs later to make behavior clearer.

Signed-off-by: Casey Dahlin <cdahlin@redhat.com>