Unboxing Virgil ADTs for Fun and Profit