refactoring

add `tpl::boolean::$if` and refactoring `tpl::nat::sub` &
`tpl::nat::div`