Vera: a programming language designed for LLMs to write