Adding Transforms.hs. After parsing but before compilation, lift Pack{t, n} up to global $Pack{t, n} combinator.