Integrate spectacular synthesis

[Tritlo]

We are currently using very naive hole-based synthesis. We could integrate the ECTA-based synthesis of expressions for typed-holes as used in the Spectacular paper.