Embeded -> Embedded
Rename SynthesisOptions to SynthesisSettings
Add example to a benchmark
BoundedGrammars