#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.
2 jobs for 459-improve-cif-data-based-synthesis-on-supported-updates-expressions in 0 seconds (queued for 34 seconds)