Halo Programming Language