add HAL 100
rename to finite, plus, star