The Axl programming language