Have desugarer succeed when package installed info is not found for a static value.
Typechecking of static values puts quantifiers outside the index type of StaticRef.

Previously,

    static id :: StaticRef (forall a. a -> a)

Now,

    static id :: forall a. StaticRef (a -> a)

This allows expressions as the following

    staticLabel (static id) `staticApply` staticLabel (static "s")
      where
        staticLabel :: StaticRef a -> Static a
        staticApply :: Static (a -> b) -> Static a -> Static b
Removes PostType argument of HsStatic.
Removes unnecessary zonking traversal for static values.
Removes unnecessary addTick traversal for static values.