Int => Natural
refactor case tycheck