The Icon programming language