Hi: A Symbolic Programming Language