Validate types produced by the static form.
Put the full InstalledPackageId in GlobalNames.
Update user's guide with changes to GlobalName.
Added GHC.Ref to use with StaticValues extension.
Implement template haskell support for StaticValues.
Update TcExpr to latest version of mkExportedLocalId.
Allow only monomorphic types in the argument of Ref.