initial commit
add int conversion and NaNat
add implicit conversion from int to nat
remove comment
update comments