The Escape programming language