The Proxima Programming Language