A programming language that deduces code from tests