Improve / Simplify HVM3's Collapser

[VictorTaelin]

I've just posted a much simpler and faster implementation of the Collapse Monad logic as a comment here:

https://gist.github.com/VictorTaelin/60d3bc72fb4edefecd42095e44138b41

We should refactor HVM3's refactor to use it.