add built-in naturals with variable bitwidth
fix bitWidth for input 0
delete trimNat
delete invertNat