The Nya programming language