Carlo/implicits additions

[P4P5T123]

adds the following functions enabling context.dot syntax for these functions you can use those instead of the according .fromType() function:

• Nat.toFloat
• Text.toNat
• Text.toInt
• Nat32.toChar
• Int.toFloat

[github-actions]

No description provided.

[crusso]

Thanks but I think it would be better not to continue this PR. Instead @christoph-dfinity and I will figure out how to make similar changes to #412.
It's also not clear whether Text.toNat/toInt should return an option or be called something else instead (maybe Test.asNat/asInt with trapping versions for the non-optional one).

[P4P5T123]

Thanks but I think it would be better not to continue this PR. Instead @christoph-dfinity and I will figure out how to make similar changes to #412. It's also not clear whether Text.toNat/toInt should return an option or be called something else instead (maybe Test.asNat/asInt with trapping versions for the non-optional one).

Ok thank you...
IMHO I would avoid introducing a new terminology with .asNat and .asInt as it would further clutter the namespace here.
Then we should probably leave it at the .from funcs there as the underlying idea was to further consistently enable users/LLMs to make contextual dot calls with .toType funcs.