The high-level python API for HAL