more examples, plans: set operator for SynthTree