Synthesis core ignores `hints` parameter

[Calvin-L]

The synthesis core accepts a hints parameter. The high-level specification synthesizer uses this parameter to help Cozy avoid duplicating work: useful structures discovered by other queries are passed to new queries as hints, since they are likely to be useful.

Due to recent refactorings I made, this parameter is ignored. It should be respected.