Implement template haskell support for StaticValues.
Implement -ddump-static-binds.

It shows top-level bindings produced for static values.
Comment the static case in the documentation of tcg_keep.