The Steel Programming Language