A library for converting from HAL to Hyperdescribe and back