Removed system, now included in HIR tranformations.
New component (empty for now) for box/unbox simplfication.
Removed system, now included in HIR tranformations.