Vera: a programming language designed for machines to write