Mirror: An LLM-powered programming-by-example programming language