Hal removal

Address Github issue #99