labels should be bestRealType. Filter cases by incompatible return type
Add functionsToIgnore in SynthesisContext, use it in ExpressionGrammars
Unfold EmbeddedGrammar under SimilarTo