Write wrapper for Nata(BigInt(_))

[clange]

There should be something like an implicit type conversion for the following situation: you have an Int and want to wrap it into Nat.nat.Nata, whose constructor only accepts BigInt arguments.