The Valhalla Programming Language