Use a minimal subset of HAL for Models