The Juicy programming language