Use updated macro signature and stream syntax

[popematt]

Issue #, if available:

287

Description of changes:

• Changes syntax of a macro parameter to use annotations—e.g. (name type) to type::name
• Changes macro signature container from being a list to a sexp—e.g. [ parameter1, parameter2 ] to (parameter1 parameter2)
• Replaces all (:), (:void), and (:values) with the updated stream syntax
• Removes the note about deciding "whether we want an Ion 1.0-style double-length-prefixed sequence"—we don't.

This does not update any documentation about presence bits, nor does it remove any of the documentation about cardinality.

---

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

[toddjonker]

This is notably missing the corresponding changes to the domain grammar, which are normative while the example chapters are not.