Title: Synthetic Programming Made Easy