The Steve programming language