Unboxing fixes

[Negabinary]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 27.27273% with 24 lines in your changes missing coverage. Please review.

Project coverage is 46.90%. Comparing base (834912f) to head (9797920).

Files with missing lines	Patch %	Lines
src/haz3lcore/dynamics/Unboxing.re	20.00%	8 Missing ⚠️
src/haz3lcore/statics/Elaborator.re	0.00%	6 Missing ⚠️
src/util/ListUtil.re	0.00%	5 Missing ⚠️
src/haz3lcore/dynamics/PatternMatch.re	0.00%	3 Missing ⚠️
src/haz3lcore/statics/Info.re	75.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #1524      +/-   ##
==========================================
+ Coverage   45.81%   46.90%   +1.08%     
==========================================
  Files         101      101              
  Lines       10129    10154      +25     
==========================================
+ Hits         4641     4763     +122     
+ Misses       5488     5391      -97     

Files with missing lines	Coverage Δ
src/haz3lcore/dynamics/Transition.re	32.05% <100.00%> (+3.33%)	⬆️
src/haz3lcore/statics/Info.re	25.21% <75.00%> (+1.59%)	⬆️
src/haz3lcore/dynamics/PatternMatch.re	29.09% <0.00%> (+4.52%)	⬆️
src/util/ListUtil.re	37.63% <0.00%> (-0.71%)	⬇️
src/haz3lcore/statics/Elaborator.re	63.72% <0.00%> (-0.88%)	⬇️
src/haz3lcore/dynamics/Unboxing.re	23.40% <20.00%> (+3.55%)	⬆️

... and 11 files with indirect coverage changes