Proceedings Second Workshop on Synthesis: Growing Solver-Aided Languages with Rosette