A Hypertext Application Language (HAL) shell