Add CIF Synthesis-Based Engineering documentation

CIF supports Synthesis-Based Engineering (SBE). But we don't have documentation that explains what it is, what is the value, and how it compares to other engineering approaches. I think it would be valuable to have this as part of the CIF documentation. I also want to add an example that is simple enough to easily understand but still shows the power of synthesis.