Bring DeepFreeze over from master branch
Ok, with a data family instead of type synonym, we can get the kind of lifting we want.