The Archetype programming language