An Example-Based Synthesis Framework written in Scala