Auto-box the expression to its bag representation.
Auto-box the expression to its bag representation.

If we have the rule `true`, the interpreter will compute a boolean value
`true` for the expression. This is correct. However, it can create an
error when we try to assert/evaluate this value because it's not an
object, as we might expect. So we auto-box the expression to its bag
representation. We decided to do this in the model because it's the most
common ancestor between all representations and it holds the real data
representation.

vcgato29/Central,Grummfy/Central,vcgato29/Central,Grummfy/Central