Goals for HAL Programming System