Only allow sizeOf to be used on something of kind Area

  This isn't a semantic restriction; TemplateHaskell and PolyKinds don't
interact well enough to allow this to work for any kind, currently.