The Eon programming language