#459 Further improvements to data-based synth supported specs docs.

- A more clearly indented 'block' for supported forms of assignments.
- More explanation on supported forms and rewriting.
- Rewrote examples to be more similarly described.
- Some other changes.