Update spec, examples, and schema