Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages