Implement typechecking for the static form.

This patch requires an update to the base package so it includes the
module GHC.StaticRef.

The StaticRef type is made wired-in so the typechecker can use it
regardless of whether it is in scope.