:: Natural -> Nat package:fin

Convert Natural to Nat
>>> fromNatural 4
4
>>> explicitShow (fromNatural 4)
"S (S (S (S Z)))"