The Kraken Programming Language