fix: default untyped to uint when necessary

[deelawn]

Closes #2004. This change allows for passing a value to defaultTypeOf. In the case where we are looking for the default value of an untyped int, it can use the value, if it exists, in order to determine whether the default type should be a signed or unsigned int.

Contributors' checklist...

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests
• Added new benchmarks to generated graphs, if any. More info here.

[codecov]

Codecov Report

Attention: Patch coverage is 50.00000% with 6 lines in your changes missing coverage. Please review.

Project coverage is 54.62%. Comparing base (931f3d2) to head (7d58baa).

Files	Patch %	Lines
gnovm/pkg/gnolang/types.go	44.44%	3 Missing and 2 partials ⚠️
gnovm/pkg/gnolang/preprocess.go	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2024      +/-   ##
==========================================
+ Coverage   54.61%   54.62%   +0.01%     
==========================================
  Files         581      581              
  Lines       77962    77966       +4     
==========================================
+ Hits        42579    42589      +10     
+ Misses      32205    32198       -7     
- Partials     3178     3179       +1     

Flag	Coverage Δ
gnovm	60.03% <50.00%> (+0.03%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[zivkovicmilos]

Looks good 💯

Pinging @petar-dambovaliev for a second look 🙏