Remove duplicate declaration of `nat_type`

Created by: dominikwerder

The helper nat_type is currently defined multiple times; should be defined only once.