The Valhalla Programming Language (Core)