ivory: export fromTypeNat primitive