updated abstract, motivation, specification

fleshed out abstract; added motivation; added additional syntax examples to specification