The Nire programming language